<html><head><style type="text/css">body{font-family:Arial,Helvetica,sans-serif;text-align:center;background:#ffffff}td.colhead{font-weight:bold;text-align:center;background:#ffffff}td.rowhead{font-weight:bold;background:#ffffff}td.cell{text-align:center;padding:5px,0}tr.even{background:#a0a0d0}tr.odd{background:#c0c0f0}td.empty{background:#ffffff}</style><html>
  <head>
    <style type="text/css">
      <!--
        tr.even { background-repeat: repeat; background-color: #a0a0d0; background-attachment: scroll }
        td.empty { background-repeat: repeat; background-color: #ffffff; background-attachment: scroll }
        body { background-repeat: repeat; text-align: center; font-family: Arial,Helvetica,sans-serif; background-color: #ffffff; background-attachment: scroll }
        tr.odd { background-repeat: repeat; background-color: #c0c0f0; background-attachment: scroll }
        td.rowhead { background-repeat: repeat; font-weight: bold; background-color: #ffffff; background-attachment: scroll }
        td.colhead { background-repeat: repeat; font-weight: bold; text-align: center; background-color: #ffffff; background-attachment: scroll }
        td.cell { padding-bottom: 0; padding-left: 0; padding-right: 0; padding-top: 0; text-align: center }
      -->
    </style>
    
  </head>
  <body>
    <h2>
      Petri net incidence and marking
    </h2>
    <table border="0" cellspacing="2">
      <tr>
        <td class="colhead">
          Forwards incidence matrix <i>I<sup>+</sup></i>
        </td>
      </tr>
      <tr>
        <td class="cell">
          <table border="0" cellspacing="2">
            <tr class="even">
              <td class="empty">
                
              </td>
              <td class="colhead">
                Disparar-N
              </td>
              <td class="colhead">
                Disparar-S
              </td>
              <td class="colhead">
                Disparar-E
              </td>
              <td class="colhead">
                Disparar-O
              </td>
              <td class="colhead">
                Habilitar-N
              </td>
              <td class="colhead">
                Habilitar-S
              </td>
              <td class="colhead">
                Habilitar-E
              </td>
              <td class="colhead">
                Habilitar-O
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Detectados
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                1
              </td>
            </tr>
            <tr class="even">
              <td class="rowhead">
                Ocupada-N
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Ocupada-S
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="even">
              <td class="rowhead">
                Ocupada-E
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Ocupada-O
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="even">
              <td class="rowhead">
                Habilitada-N
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Habilidada-S
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="even">
              <td class="rowhead">
                Habilitada-E
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Habilitada-O
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
            </tr>
          </table>
        </td>
      </tr>
    </table>
    <table border="0" cellspacing="2">
      <tr>
        <td class="colhead">
          Backwards incidence matrix <i>I<sup>-</sup></i>
        </td>
      </tr>
      <tr>
        <td class="cell">
          <table border="0" cellspacing="2">
            <tr class="even">
              <td class="empty">
                
              </td>
              <td class="colhead">
                Disparar-N
              </td>
              <td class="colhead">
                Disparar-S
              </td>
              <td class="colhead">
                Disparar-E
              </td>
              <td class="colhead">
                Disparar-O
              </td>
              <td class="colhead">
                Habilitar-N
              </td>
              <td class="colhead">
                Habilitar-S
              </td>
              <td class="colhead">
                Habilitar-E
              </td>
              <td class="colhead">
                Habilitar-O
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Detectados
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="even">
              <td class="rowhead">
                Ocupada-N
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Ocupada-S
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="even">
              <td class="rowhead">
                Ocupada-E
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Ocupada-O
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
            </tr>
            <tr class="even">
              <td class="rowhead">
                Habilitada-N
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Habilidada-S
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="even">
              <td class="rowhead">
                Habilitada-E
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Habilitada-O
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
          </table>
        </td>
      </tr>
    </table>
    <table border="0" cellspacing="2">
      <tr>
        <td class="colhead">
          Combined incidence matrix <i>I</i>
        </td>
      </tr>
      <tr>
        <td class="cell">
          <table border="0" cellspacing="2">
            <tr class="even">
              <td class="empty">
                
              </td>
              <td class="colhead">
                Disparar-N
              </td>
              <td class="colhead">
                Disparar-S
              </td>
              <td class="colhead">
                Disparar-E
              </td>
              <td class="colhead">
                Disparar-O
              </td>
              <td class="colhead">
                Habilitar-N
              </td>
              <td class="colhead">
                Habilitar-S
              </td>
              <td class="colhead">
                Habilitar-E
              </td>
              <td class="colhead">
                Habilitar-O
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Detectados
              </td>
              <td class="cell">
                -1
              </td>
              <td class="cell">
                -1
              </td>
              <td class="cell">
                -1
              </td>
              <td class="cell">
                -1
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                1
              </td>
            </tr>
            <tr class="even">
              <td class="rowhead">
                Ocupada-N
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                -1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Ocupada-S
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                -1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="even">
              <td class="rowhead">
                Ocupada-E
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                -1
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Ocupada-O
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                -1
              </td>
            </tr>
            <tr class="even">
              <td class="rowhead">
                Habilitada-N
              </td>
              <td class="cell">
                -1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Habilidada-S
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                -1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="even">
              <td class="rowhead">
                Habilitada-E
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                -1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Habilitada-O
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                -1
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
            </tr>
          </table>
        </td>
      </tr>
    </table>
    <table border="0" cellspacing="2">
      <tr>
        <td class="colhead">
          Inhibition matrix <i>H</i>
        </td>
      </tr>
      <tr>
        <td class="cell">
          <table border="0" cellspacing="2">
            <tr class="even">
              <td class="empty">
                
              </td>
              <td class="colhead">
                Disparar-N
              </td>
              <td class="colhead">
                Disparar-S
              </td>
              <td class="colhead">
                Disparar-E
              </td>
              <td class="colhead">
                Disparar-O
              </td>
              <td class="colhead">
                Habilitar-N
              </td>
              <td class="colhead">
                Habilitar-S
              </td>
              <td class="colhead">
                Habilitar-E
              </td>
              <td class="colhead">
                Habilitar-O
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Detectados
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="even">
              <td class="rowhead">
                Ocupada-N
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Ocupada-S
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="even">
              <td class="rowhead">
                Ocupada-E
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Ocupada-O
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="even">
              <td class="rowhead">
                Habilitada-N
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Habilidada-S
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="even">
              <td class="rowhead">
                Habilitada-E
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Habilitada-O
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
          </table>
        </td>
      </tr>
    </table>
    <table border="0" cellspacing="2">
      <tr>
        <td class="colhead">
          Marking
        </td>
      </tr>
      <tr>
        <td class="cell">
          <table border="0" cellspacing="2">
            <tr class="even">
              <td class="empty">
                
              </td>
              <td class="colhead">
                Detectados
              </td>
              <td class="colhead">
                Ocupada-N
              </td>
              <td class="colhead">
                Ocupada-S
              </td>
              <td class="colhead">
                Ocupada-E
              </td>
              <td class="colhead">
                Ocupada-O
              </td>
              <td class="colhead">
                Habilitada-N
              </td>
              <td class="colhead">
                Habilidada-S
              </td>
              <td class="colhead">
                Habilitada-E
              </td>
              <td class="colhead">
                Habilitada-O
              </td>
            </tr>
            <tr class="odd">
              <td class="rowhead">
                Initial
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
            </tr>
            <tr class="even">
              <td class="rowhead">
                Current
              </td>
              <td class="cell">
                4
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                0
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                1
              </td>
              <td class="cell">
                1
              </td>
            </tr>
          </table>
        </td>
      </tr>
    </table>
    <table border="0" cellspacing="2">
      <tr>
        <td class="colhead">
          Enabled transitions
        </td>
      </tr>
      <tr>
        <td class="cell">
          <table border="0" cellspacing="2">
            <tr class="even">
              <td class="colhead">
                Disparar-N
              </td>
              <td class="colhead">
                Disparar-S
              </td>
              <td class="colhead">
                Disparar-E
              </td>
              <td class="colhead">
                Disparar-O
              </td>
              <td class="colhead">
                Habilitar-N
              </td>
              <td class="colhead">
                Habilitar-S
              </td>
              <td class="colhead">
                Habilitar-E
              </td>
              <td class="colhead">
                Habilitar-O
              </td>
            </tr>
            <tr class="odd">
              <td class="cell">
                yes
              </td>
              <td class="cell">
                yes
              </td>
              <td class="cell">
                yes
              </td>
              <td class="cell">
                yes
              </td>
              <td class="cell">
                no
              </td>
              <td class="cell">
                no
              </td>
              <td class="cell">
                no
              </td>
              <td class="cell">
                no
              </td>
            </tr>
          </table>
        </td>
      </tr>
    </table>
  </body>
</html>
